DELIMITED MARITIME ZONES
نویسندگان
چکیده
منابع مشابه
Wireless-Delimited Secure Zones with Encrypted Attribute-Based Broadcast for Safe Firearms
This work presents an application of the highly expressive Attribute-Based Encryption to implement wirelessdelimited Secure Zones for firearms. Within these zones, radiotransmitted local policies based on attributes of the consumer and the firearm are received by embedded hardware in the firearms, which then advises the consumer about safe operations. The Secure Zones utilize Attribute-Based En...
متن کاملDelimited Control
ing Control @inproceedings{Danvy1990AbstractingControl, author = {Olivier Danvy and Andrzej Filinski}, title = {Abstracting Control}, booktitle = {LISP and Functional Programming}, year = {1990}, pages = {151-160}, }
متن کاملDecentralized Delimited Release
Decentralization is a major challenge for secure computing. In a decentralized setting, principals are free to distrust each other. The key challenge is to provide support for expressing and enforcing expressive decentralized policies. This paper focuses on declassification policies, i.e., policies for intended information release. We propose a decentralized language-independent framework for e...
متن کاملAxiomatizing Subtyped Delimited Continuations
We present direct equational axiomatizations of the call-by-value lambda calculus with the control operators shift0 and reset0 that generalize Danvy and Filinski’s shift and reset in that they allow for abstracting control beyond the top-most delimited continuation. We address an untyped version of the calculus as well as a typed version with effect subtyping. For each of the calculi we present...
متن کاملPolymorphic Delimited Continuations
This paper presents a polymorphic type system for a language with delimited control operators, shift and reset. Based on the monomorphic type system by Danvy and Filinski, the proposed type system allows pure expressions to be polymorphic. Thanks to the explicit presence of answer types, our type system satisfies various important properties, including strong type soundness, existence of princi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Spanish Yearbook of International Law
سال: 2017
ISSN: 2386-4435
DOI: 10.17103/sybil.21.19